<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>b12</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--find.c.html#L598'>b12</a>               598 src/filemanager/find.c     int b0, b1, b2, b12;</span>
<span class='curline'><a href='../S/src--filemanager--find.c.html#L658'>b12</a>               658 src/filemanager/find.c     b12 = b1 + b2 + 1;</span>
<span class='curline'><a href='../S/src--filemanager--find.c.html#L660'>b12</a>               660 src/filemanager/find.c     cols = max (cols, max (b12, cw * 2 + 1) + 6);</span>
<span class='curline'><a href='../S/src--filemanager--find.c.html#L757'>b12</a>               757 src/filemanager/find.c     x1 = (cols - b12) / 2;</span>
</pre>
</body>
</html>
